Extensions 1→N→G→Q→1 with N=C5xC22:C4 and Q=C22

Direct product G=NxQ with N=C5xC22:C4 and Q=C22
dρLabelID
C22:C4xC2xC10160C2^2:C4xC2xC10320,1514

Semidirect products G=N:Q with N=C5xC22:C4 and Q=C22
extensionφ:Q→Out NdρLabelID
(C5xC22:C4):1C22 = C23:D20φ: C22/C1C22 ⊆ Out C5xC22:C4408+(C5xC2^2:C4):1C2^2320,368
(C5xC22:C4):2C22 = C23.5D20φ: C22/C1C22 ⊆ Out C5xC22:C4808-(C5xC2^2:C4):2C2^2320,369
(C5xC22:C4):3C22 = D5xC22wrC2φ: C22/C1C22 ⊆ Out C5xC22:C440(C5xC2^2:C4):3C2^2320,1260
(C5xC22:C4):4C22 = C24:3D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):4C2^2320,1261
(C5xC22:C4):5C22 = C24:4D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):5C2^2320,1262
(C5xC22:C4):6C22 = C24.33D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):6C2^2320,1263
(C5xC22:C4):7C22 = C24.34D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):7C2^2320,1264
(C5xC22:C4):8C22 = C24:5D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):8C2^2320,1266
(C5xC22:C4):9C22 = D5xC4:D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):9C2^2320,1276
(C5xC22:C4):10C22 = C10.372+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):10C2^2320,1277
(C5xC22:C4):11C22 = C4:C4:21D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):11C2^2320,1278
(C5xC22:C4):12C22 = C10.382+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):12C2^2320,1279
(C5xC22:C4):13C22 = D20:19D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):13C2^2320,1281
(C5xC22:C4):14C22 = C10.402+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):14C2^2320,1282
(C5xC22:C4):15C22 = D20:20D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):15C2^2320,1284
(C5xC22:C4):16C22 = C10.422+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):16C2^2320,1285
(C5xC22:C4):17C22 = C10.462+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):17C2^2320,1289
(C5xC22:C4):18C22 = C10.482+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):18C2^2320,1292
(C5xC22:C4):19C22 = D5xC22.D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):19C2^2320,1324
(C5xC22:C4):20C22 = C10.1202+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):20C2^2320,1325
(C5xC22:C4):21C22 = C10.1212+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):21C2^2320,1326
(C5xC22:C4):22C22 = C4:C4:28D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):22C2^2320,1328
(C5xC22:C4):23C22 = C10.612+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):23C2^2320,1329
(C5xC22:C4):24C22 = C10.1222+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):24C2^2320,1330
(C5xC22:C4):25C22 = C10.622+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):25C2^2320,1331
(C5xC22:C4):26C22 = C10.682+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):26C2^2320,1338
(C5xC22:C4):27C22 = D5xC4.4D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):27C2^2320,1345
(C5xC22:C4):28C22 = C42:18D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):28C2^2320,1346
(C5xC22:C4):29C22 = D20:10D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):29C2^2320,1348
(C5xC22:C4):30C22 = C42:20D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):30C2^2320,1350
(C5xC22:C4):31C22 = C42:21D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):31C2^2320,1351
(C5xC22:C4):32C22 = C42:22D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):32C2^2320,1355
(C5xC22:C4):33C22 = D5xC23:C4φ: C22/C1C22 ⊆ Out C5xC22:C4408+(C5xC2^2:C4):33C2^2320,370
(C5xC22:C4):34C22 = C24:2D10φ: C22/C1C22 ⊆ Out C5xC22:C4404(C5xC2^2:C4):34C2^2320,659
(C5xC22:C4):35C22 = C22:C4:D10φ: C22/C1C22 ⊆ Out C5xC22:C4804(C5xC2^2:C4):35C2^2320,680
(C5xC22:C4):36C22 = C5xC2wrC22φ: C22/C1C22 ⊆ Out C5xC22:C4404(C5xC2^2:C4):36C2^2320,958
(C5xC22:C4):37C22 = C5xC23.7D4φ: C22/C1C22 ⊆ Out C5xC22:C4804(C5xC2^2:C4):37C2^2320,959
(C5xC22:C4):38C22 = C5xC23:3D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):38C2^2320,1536
(C5xC22:C4):39C22 = C5xC22.29C24φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):39C2^2320,1537
(C5xC22:C4):40C22 = C5xD42φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):40C2^2320,1547
(C5xC22:C4):41C22 = C5xC22.45C24φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):41C2^2320,1553
(C5xC22:C4):42C22 = C5xC22.54C24φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):42C2^2320,1562
(C5xC22:C4):43C22 = C5xC24:C22φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4):43C2^2320,1563
(C5xC22:C4):44C22 = C2xC23.1D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):44C2^2320,581
(C5xC22:C4):45C22 = C10xC23:C4φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):45C2^2320,910
(C5xC22:C4):46C22 = C2xC22:D20φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):46C2^2320,1159
(C5xC22:C4):47C22 = C2xC22.D20φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):47C2^2320,1164
(C5xC22:C4):48C22 = C23:3D20φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):48C2^2320,1165
(C5xC22:C4):49C22 = D4xD20φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):49C2^2320,1221
(C5xC22:C4):50C22 = D4:5D20φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):50C2^2320,1226
(C5xC22:C4):51C22 = C2xD10.12D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):51C2^2320,1160
(C5xC22:C4):52C22 = C2xD10:D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):52C2^2320,1161
(C5xC22:C4):53C22 = C24.27D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):53C2^2320,1162
(C5xC22:C4):54C22 = C2xDic5.5D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):54C2^2320,1163
(C5xC22:C4):55C22 = C42:12D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):55C2^2320,1219
(C5xC22:C4):56C22 = D20:23D4φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):56C2^2320,1222
(C5xC22:C4):57C22 = C42:16D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):57C2^2320,1228
(C5xC22:C4):58C22 = C42:17D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):58C2^2320,1232
(C5xC22:C4):59C22 = C2xD5xC22:C4φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):59C2^2320,1156
(C5xC22:C4):60C22 = C2xDic5:4D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):60C2^2320,1157
(C5xC22:C4):61C22 = C24.24D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):61C2^2320,1158
(C5xC22:C4):62C22 = C4xD4xD5φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):62C2^2320,1216
(C5xC22:C4):63C22 = C42:11D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):63C2^2320,1217
(C5xC22:C4):64C22 = C10xC22wrC2φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):64C2^2320,1523
(C5xC22:C4):65C22 = C10xC4:D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):65C2^2320,1524
(C5xC22:C4):66C22 = C10xC22.D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):66C2^2320,1526
(C5xC22:C4):67C22 = C5xC22.19C24φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):67C2^2320,1527
(C5xC22:C4):68C22 = C10xC4.4D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4):68C2^2320,1528
(C5xC22:C4):69C22 = C5xC22.32C24φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):69C2^2320,1540
(C5xC22:C4):70C22 = C5xD4:5D4φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4):70C2^2320,1548
(C5xC22:C4):71C22 = D4xC2xC20φ: trivial image160(C5xC2^2:C4):71C2^2320,1517
(C5xC22:C4):72C22 = C5xC22.11C24φ: trivial image80(C5xC2^2:C4):72C2^2320,1520

Non-split extensions G=N.Q with N=C5xC22:C4 and Q=C22
extensionφ:Q→Out NdρLabelID
(C5xC22:C4).1C22 = C24.56D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).1C2^2320,1258
(C5xC22:C4).2C22 = C24.32D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).2C2^2320,1259
(C5xC22:C4).3C22 = C24.35D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).3C2^2320,1265
(C5xC22:C4).4C22 = C24.36D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).4C2^2320,1267
(C5xC22:C4).5C22 = C20:(C4oD4)φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).5C2^2320,1268
(C5xC22:C4).6C22 = C10.682- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).6C2^2320,1269
(C5xC22:C4).7C22 = Dic10:19D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).7C2^2320,1270
(C5xC22:C4).8C22 = Dic10:20D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).8C2^2320,1271
(C5xC22:C4).9C22 = C4:C4.178D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).9C2^2320,1272
(C5xC22:C4).10C22 = C10.342+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).10C2^2320,1273
(C5xC22:C4).11C22 = C10.352+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).11C2^2320,1274
(C5xC22:C4).12C22 = C10.362+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).12C2^2320,1275
(C5xC22:C4).13C22 = C10.392+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).13C2^2320,1280
(C5xC22:C4).14C22 = C10.732- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).14C2^2320,1283
(C5xC22:C4).15C22 = C10.432+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).15C2^2320,1286
(C5xC22:C4).16C22 = C10.442+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).16C2^2320,1287
(C5xC22:C4).17C22 = C10.452+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).17C2^2320,1288
(C5xC22:C4).18C22 = C10.1152+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).18C2^2320,1290
(C5xC22:C4).19C22 = C10.472+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).19C2^2320,1291
(C5xC22:C4).20C22 = C10.742- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).20C2^2320,1293
(C5xC22:C4).21C22 = (Q8xDic5):C2φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).21C2^2320,1294
(C5xC22:C4).22C22 = C10.502+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).22C2^2320,1295
(C5xC22:C4).23C22 = C22:Q8:25D5φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).23C2^2320,1296
(C5xC22:C4).24C22 = C10.152- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).24C2^2320,1297
(C5xC22:C4).25C22 = D5xC22:Q8φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).25C2^2320,1298
(C5xC22:C4).26C22 = C4:C4:26D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).26C2^2320,1299
(C5xC22:C4).27C22 = C10.162- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).27C2^2320,1300
(C5xC22:C4).28C22 = C10.172- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).28C2^2320,1301
(C5xC22:C4).29C22 = D20:21D4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).29C2^2320,1302
(C5xC22:C4).30C22 = D20:22D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).30C2^2320,1303
(C5xC22:C4).31C22 = Dic10:21D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).31C2^2320,1304
(C5xC22:C4).32C22 = Dic10:22D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).32C2^2320,1305
(C5xC22:C4).33C22 = C10.512+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).33C2^2320,1306
(C5xC22:C4).34C22 = C10.1182+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).34C2^2320,1307
(C5xC22:C4).35C22 = C10.522+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).35C2^2320,1308
(C5xC22:C4).36C22 = C10.532+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).36C2^2320,1309
(C5xC22:C4).37C22 = C10.202- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).37C2^2320,1310
(C5xC22:C4).38C22 = C10.212- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).38C2^2320,1311
(C5xC22:C4).39C22 = C10.222- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).39C2^2320,1312
(C5xC22:C4).40C22 = C10.232- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).40C2^2320,1313
(C5xC22:C4).41C22 = C10.772- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).41C2^2320,1314
(C5xC22:C4).42C22 = C10.242- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).42C2^2320,1315
(C5xC22:C4).43C22 = C10.562+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).43C2^2320,1316
(C5xC22:C4).44C22 = C10.572+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).44C2^2320,1317
(C5xC22:C4).45C22 = C10.582+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).45C2^2320,1318
(C5xC22:C4).46C22 = C10.262- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).46C2^2320,1319
(C5xC22:C4).47C22 = C10.792- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).47C2^2320,1320
(C5xC22:C4).48C22 = C4:C4.197D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).48C2^2320,1321
(C5xC22:C4).49C22 = C10.802- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).49C2^2320,1322
(C5xC22:C4).50C22 = C10.812- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).50C2^2320,1323
(C5xC22:C4).51C22 = C10.822- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).51C2^2320,1327
(C5xC22:C4).52C22 = C10.632+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).52C2^2320,1332
(C5xC22:C4).53C22 = C10.642+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).53C2^2320,1333
(C5xC22:C4).54C22 = C10.842- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).54C2^2320,1334
(C5xC22:C4).55C22 = C10.662+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).55C2^2320,1335
(C5xC22:C4).56C22 = C10.672+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).56C2^2320,1336
(C5xC22:C4).57C22 = C10.852- 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).57C2^2320,1337
(C5xC22:C4).58C22 = C10.692+ 1+4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).58C2^2320,1339
(C5xC22:C4).59C22 = C42.233D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).59C2^2320,1340
(C5xC22:C4).60C22 = C42.137D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).60C2^2320,1341
(C5xC22:C4).61C22 = C42.138D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).61C2^2320,1342
(C5xC22:C4).62C22 = C42.139D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).62C2^2320,1343
(C5xC22:C4).63C22 = C42.140D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).63C2^2320,1344
(C5xC22:C4).64C22 = C42.141D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).64C2^2320,1347
(C5xC22:C4).65C22 = Dic10:10D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).65C2^2320,1349
(C5xC22:C4).66C22 = C42.234D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).66C2^2320,1352
(C5xC22:C4).67C22 = C42.143D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).67C2^2320,1353
(C5xC22:C4).68C22 = C42.144D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).68C2^2320,1354
(C5xC22:C4).69C22 = C42.145D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).69C2^2320,1356
(C5xC22:C4).70C22 = C42.159D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).70C2^2320,1373
(C5xC22:C4).71C22 = C42.160D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).71C2^2320,1374
(C5xC22:C4).72C22 = D5xC42:2C2φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).72C2^2320,1375
(C5xC22:C4).73C22 = C42:23D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).73C2^2320,1376
(C5xC22:C4).74C22 = C42:24D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).74C2^2320,1377
(C5xC22:C4).75C22 = C42.189D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).75C2^2320,1378
(C5xC22:C4).76C22 = C42.161D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).76C2^2320,1379
(C5xC22:C4).77C22 = C42.162D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).77C2^2320,1380
(C5xC22:C4).78C22 = C42.163D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).78C2^2320,1381
(C5xC22:C4).79C22 = C42.164D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).79C2^2320,1382
(C5xC22:C4).80C22 = C42:25D10φ: C22/C1C22 ⊆ Out C5xC22:C480(C5xC2^2:C4).80C2^2320,1383
(C5xC22:C4).81C22 = C42.165D10φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).81C2^2320,1384
(C5xC22:C4).82C22 = C23:C4:5D5φ: C22/C1C22 ⊆ Out C5xC22:C4808-(C5xC2^2:C4).82C2^2320,367
(C5xC22:C4).83C22 = C5xC23.38C23φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).83C2^2320,1538
(C5xC22:C4).84C22 = C5xC22.31C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).84C2^2320,1539
(C5xC22:C4).85C22 = C5xC22.33C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).85C2^2320,1541
(C5xC22:C4).86C22 = C5xC22.34C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).86C2^2320,1542
(C5xC22:C4).87C22 = C5xD4:6D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).87C2^2320,1549
(C5xC22:C4).88C22 = C5xQ8:5D4φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).88C2^2320,1550
(C5xC22:C4).89C22 = C5xC22.46C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).89C2^2320,1554
(C5xC22:C4).90C22 = C5xC22.50C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).90C2^2320,1558
(C5xC22:C4).91C22 = C5xC22.53C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).91C2^2320,1561
(C5xC22:C4).92C22 = C5xC22.56C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).92C2^2320,1564
(C5xC22:C4).93C22 = C5xC22.57C24φ: C22/C1C22 ⊆ Out C5xC22:C4160(C5xC2^2:C4).93C2^2320,1565
(C5xC22:C4).94C22 = (C2xD20):25C4φ: C22/C2C2 ⊆ Out C5xC22:C4804(C5xC2^2:C4).94C2^2320,633
(C5xC22:C4).95C22 = C5xC23.C23φ: C22/C2C2 ⊆ Out C5xC22:C4804(C5xC2^2:C4).95C2^2320,911
(C5xC22:C4).96C22 = C2xDic5.14D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).96C2^2320,1153
(C5xC22:C4).97C22 = C23:2Dic10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).97C2^2320,1155
(C5xC22:C4).98C22 = C42.88D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).98C2^2320,1189
(C5xC22:C4).99C22 = C42.90D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).99C2^2320,1191
(C5xC22:C4).100C22 = C42:8D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).100C2^2320,1196
(C5xC22:C4).101C22 = C42:9D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).101C2^2320,1197
(C5xC22:C4).102C22 = C42.92D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).102C2^2320,1198
(C5xC22:C4).103C22 = D4xDic10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).103C2^2320,1209
(C5xC22:C4).104C22 = D4:5Dic10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).104C2^2320,1211
(C5xC22:C4).105C22 = D4:6Dic10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).105C2^2320,1215
(C5xC22:C4).106C22 = D4:6D20φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).106C2^2320,1227
(C5xC22:C4).107C22 = C42.118D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).107C2^2320,1236
(C5xC22:C4).108C22 = C2xC23.D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).108C2^2320,1154
(C5xC22:C4).109C22 = C24.30D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).109C2^2320,1166
(C5xC22:C4).110C22 = C24.31D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).110C2^2320,1167
(C5xC22:C4).111C22 = C42.89D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).111C2^2320,1190
(C5xC22:C4).112C22 = C42.93D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).112C2^2320,1200
(C5xC22:C4).113C22 = C42.94D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).113C2^2320,1201
(C5xC22:C4).114C22 = C42.95D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).114C2^2320,1202
(C5xC22:C4).115C22 = C42.97D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).115C2^2320,1204
(C5xC22:C4).116C22 = C42.98D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).116C2^2320,1205
(C5xC22:C4).117C22 = C42.99D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).117C2^2320,1206
(C5xC22:C4).118C22 = C42.100D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).118C2^2320,1207
(C5xC22:C4).119C22 = C42.102D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).119C2^2320,1210
(C5xC22:C4).120C22 = C42.106D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).120C2^2320,1214
(C5xC22:C4).121C22 = C42.228D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).121C2^2320,1220
(C5xC22:C4).122C22 = D20:24D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).122C2^2320,1223
(C5xC22:C4).123C22 = Dic10:23D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).123C2^2320,1224
(C5xC22:C4).124C22 = Dic10:24D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).124C2^2320,1225
(C5xC22:C4).125C22 = C42.229D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).125C2^2320,1229
(C5xC22:C4).126C22 = C42.113D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).126C2^2320,1230
(C5xC22:C4).127C22 = C42.114D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).127C2^2320,1231
(C5xC22:C4).128C22 = C42.115D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).128C2^2320,1233
(C5xC22:C4).129C22 = C42.116D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).129C2^2320,1234
(C5xC22:C4).130C22 = C42.117D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).130C2^2320,1235
(C5xC22:C4).131C22 = C42.119D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).131C2^2320,1237
(C5xC22:C4).132C22 = C2xC23.11D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).132C2^2320,1152
(C5xC22:C4).133C22 = C42.87D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).133C2^2320,1188
(C5xC22:C4).134C22 = D5xC42:C2φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).134C2^2320,1192
(C5xC22:C4).135C22 = C42:7D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).135C2^2320,1193
(C5xC22:C4).136C22 = C42.188D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).136C2^2320,1194
(C5xC22:C4).137C22 = C42.91D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).137C2^2320,1195
(C5xC22:C4).138C22 = C42:10D10φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).138C2^2320,1199
(C5xC22:C4).139C22 = C42.96D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).139C2^2320,1203
(C5xC22:C4).140C22 = C4xD4:2D5φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).140C2^2320,1208
(C5xC22:C4).141C22 = C42.104D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).141C2^2320,1212
(C5xC22:C4).142C22 = C42.105D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).142C2^2320,1213
(C5xC22:C4).143C22 = C42.108D10φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).143C2^2320,1218
(C5xC22:C4).144C22 = C10xC22:Q8φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).144C2^2320,1525
(C5xC22:C4).145C22 = C10xC42:2C2φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).145C2^2320,1530
(C5xC22:C4).146C22 = C5xC23.36C23φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).146C2^2320,1531
(C5xC22:C4).147C22 = C5xC22.26C24φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).147C2^2320,1534
(C5xC22:C4).148C22 = C5xC23.37C23φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).148C2^2320,1535
(C5xC22:C4).149C22 = C5xC22.35C24φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).149C2^2320,1543
(C5xC22:C4).150C22 = C5xC22.36C24φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).150C2^2320,1544
(C5xC22:C4).151C22 = C5xC23:2Q8φ: C22/C2C2 ⊆ Out C5xC22:C480(C5xC2^2:C4).151C2^2320,1545
(C5xC22:C4).152C22 = C5xC23.41C23φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).152C2^2320,1546
(C5xC22:C4).153C22 = C5xD4xQ8φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).153C2^2320,1551
(C5xC22:C4).154C22 = C5xQ8:6D4φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).154C2^2320,1552
(C5xC22:C4).155C22 = C5xC22.47C24φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).155C2^2320,1555
(C5xC22:C4).156C22 = C5xD4:3Q8φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).156C2^2320,1556
(C5xC22:C4).157C22 = C5xC22.49C24φ: C22/C2C2 ⊆ Out C5xC22:C4160(C5xC2^2:C4).157C2^2320,1557
(C5xC22:C4).158C22 = C10xC42:C2φ: trivial image160(C5xC2^2:C4).158C2^2320,1516
(C5xC22:C4).159C22 = C4oD4xC20φ: trivial image160(C5xC2^2:C4).159C2^2320,1519
(C5xC22:C4).160C22 = C5xC23.32C23φ: trivial image160(C5xC2^2:C4).160C2^2320,1521
(C5xC22:C4).161C22 = C5xC23.33C23φ: trivial image160(C5xC2^2:C4).161C2^2320,1522

׿
x
:
Z
F
o
wr
Q
<